21. Architecture and design of molecule logic gates and atom circuits :
پدیدآورنده : Nicolas Lorente, Christian Joachim.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic design -- Congresses.,Molecular electronics -- Congresses.,Molecular integrated circuits -- Congresses.
رده :
TK7874
.
8
N536
2013
22. Atomic scale interconnection machines
پدیدآورنده : / Christian Joachim, editor
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Molecular integrated circuits--Congresses,Microtechnology--Congresses,Molecular electronics--Congresses
رده :
TK7874
.
8
.
A86
2012
23. Bipolar,Bicoms circuits and technology meeting Proceedings ofthe 1993
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Bipolar integrated circuits-congresses,، Bipolar transistors-congresses
24. Bipolar circuits and technology meeting proceeding:Minneapolis marriott city center hotel september 18-19,1989
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Bipolar integrated circuits-congresses,، Bipolar transistors-congresses,، Jopke, Janice editor
25. CAD accelerators: proceedings of the International workshop on Hard Ware Accelertors for CAD,Oxford university,September 20-21,1991
پدیدآورنده : edited by Tony Amber, Prathima Agrawal, Will More
موضوع : Microprocessors - Design and construction -- congresses,Computer aided design -- Equipment and supplies -- congresses,Integrated circuits--Very large scale integration - Design and construction -- data processing -- congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
26. Circuit theory and design 85 : proceedings of the 1985 European Conference on Circuit Theory and Design, Prague, Czechoslovakia, 2-6 september, 1985
پدیدآورنده :
موضوع : ، Electric circuits-- Congresses,، Integrated circuits-- Very large scale integration-- Congresses,، Digital communications-- Congresses,، Signal processing-- Digital techniques-- Congresses,، Electric filters-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. Computational aspects of VLSI design with an emphasis on semiconductor device simulation
پدیدآورنده : Randolph E. Bank, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Simulation methods -- Congresses ، Semiconductors,Design and construction--Congresses ، Integrated circuits -- Very large scale integration
رده :
TK
7871
.
85
.
S53
1987
28. Computational electronics
پدیدآورنده : edited by K. Hess, J.P. Leburton, U. Ravaioli
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Semiconductors- Computer simulation- Congresses,Integrated circuits- Computer simulation- Congresses
رده :
TK
.
C59
7871
,.
85
29. Computational electronics : semiconductor transport and device simulation
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Semiconductors- Computer simulation- Congresses,، Integrated circuits- Computer simulation- Congresses
30. Computational electronics: semiconductor transport and device simulation: proceedings of the workshop, beckman institute for advanced sciences and technology, university of illinois at urbana- champaign, May 21-23, 1990
پدیدآورنده : / edited by K. Hess, J.P. Leburton, U. Ravaioli
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Semiconductors- Computer simulation- Congresses,Integrated circuits- Computer simulation- Congresses,Circuits- Congresses,Electronics- Congresses
رده :
TK7871
.
85
.
C59
1991
31. Computer Design Aids for VLSI Circuits
پدیدآورنده : \ edited by P. Antognetti, D.O. Pederson, H. De Man
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Large scale integration -- Congresses.,Electronic circuit design -- Computer programs -- Congresses.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بزرگ -- کنگره ها
رده :
E-Book
,
32. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
33. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
34. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
پدیدآورنده : E.M. Clarke, R.P. Kurshan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
QA
76
.
L28
Vol
.
531
35. Computer-aided verification: proceedings 2nd International conference, CAV'90
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
D553
1990a
36. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990
پدیدآورنده : E.M. Clarke, R.P. Kurshan editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
TK
7874
.
D55
1990
37. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
38. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
39. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
40. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification
رده :
QA
76
.
76
.
E93
.
C38
2001
